Received: by toadflax.cs.ucdavis.edu (4.1/UCD.CS.2.6)
id AA21997; Sat, 24 Dec 94 11:01:05 PST
Received: from mailhost.tue.nl by toadflax.cs.ucdavis.edu (4.1/UCD.CS.2.6)
id AA21991; Sat, 24 Dec 94 11:01:01 PST
Received: from terra.stack.urc.tue.nl (terra.stack.urc.tue.nl [131.155.140.128]) by mailhost.tue.nl (8.6.9/8.6.9) with SMTP id UAA21817 for <announce@cs.ucdavis.edu>; Sat, 24 Dec 1994 20:00:59 +0100
Received: by terra.stack.urc.tue.nl (4.1/1.53)
id AA08790; Sat, 24 Dec 94 20:00:28 +0100
Received: by sphinx.stack.urc.tue.nl (UMS-UUCP/sendmail 0.8);